
#include "common/basictypes.h"

void kernel_main(void) {
  while (1) {
    
  }
}
